Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Section: Partnerships and Cooperations

Regional Initiatives

Université Côte d'Azur Academy 1 and EUR DS4H

In the context of the local UCA-Jedi IDEX program and its RISE Academy, we were afforded a three years funding, including a postdoctoral position, for the "Smart IoT for Mobility" project. This project, lead by the LEAT UMR and Kairos, aims at building a formal language for the design of smart contracts in the context of a mobility project, in collaboration with Renault Software Labs and Symag, a subsidiary of BNP Paribas. This agreement was operational in preparing the larger ANR project SIM, that was accepted this year, while an even larger European project is under proposal.

PSPC-Region project ADAVEC

This project was recently accepted, and not yet started in practice. It associates Renault Software Labs with UCA (represented by our team), together with Avisto Telecom and EPICnPOC companies. The focus is on requirements and specification for Automated Driving Assistance, and more specially the transitions that need to be properly handled when control needs to be held back to the human driver.